Actions and Events in Interval Temporal Logic
نویسندگان
چکیده
منابع مشابه
Actions and Events in Interval Temporal Logic
We present a representation of events and action based on interval temporal logic that is significantly more expressive and more natural than most previous AI approaches. The representation is motivated by work in natural language semantics and discourse, temporal logic, and AI planning and plan recognition. The formal basis of the representation is presented in detail, from the axiomatization ...
متن کاملActions with Failures in Interval Temporal Logic
Failures are unavoidable in many circumstances. For example, an agent may fail at some point to perform a task in a dynamic environment. Robust systems typically have mechanisms to handle such failures. Temporal logic is a widely used representation language for reasoning about the behaviour of systems, although dealing with failures is not part of the language. In this paper, it is investigate...
متن کاملPlanning temporal events using point-interval logic
The paper presents a temporal logic and its application to planning time-critical missions. An extended version of the Point–Interval Logic (PIL) is presented that incorporates both point and interval descriptions of time. The points and intervals in this formalism represent time stamps and time delays, respectively, associated with events/activities in a mission as constraints on or as resulta...
متن کاملCompositional reasoning about events in Interval Temporal Logic
Constantly increasing complexity of computer systems poses big challenges for designers. Extensive testing has proven ineffective and inappropriate [8]. Model Checking [9] and HOL [10] have been proposed and successfully used in the designing process especially in problem areas as real-time, safety-critical and reactive systems. There are several other formal frameworks available, like CSP [11]...
متن کاملPrompt Interval Temporal Logic
Interval temporal logics are expressive formalisms for temporal representation and reasoning, which use time intervals as primitive temporal entities. They have been extensively studied for the past two decades and successfully applied in AI and computer science. Unfortunately, they lack the ability of expressing promptness conditions, as it happens with the commonly-used temporal logics, e.g.,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logic and Computation
سال: 1994
ISSN: 0955-792X,1465-363X
DOI: 10.1093/logcom/4.5.531